add_library( domset domset.cc domset.h types.h )
